Toward Process Control from Formal Models of Transformable Manufacturing Systems
نویسندگان
چکیده
منابع مشابه
Toward a Formal Semantics for Control-Flow Process Models
A number of information systems have been developed to automate business processes. For process modeling, verification, and automation in information systems, a formal semantics of control-flow process models is needed. Usually process modeling languages (e.g., BPMN, EPC, IDEF3, UML, and WfMC standards) are used to represent control-flow process models. When these process modeling languages are...
متن کاملToward trustworthy software process models: an exploratory study on transformable process modeling
Software process modeling and simulation have become effective tools for support of software process management and improvement over the past two decades. They have recently been integrated into the Trustworthy Process Management Framework (TPMF) as the infrastructural components to facilitate the delivery of trustworthy software products. This paper proposes the concept of Trustworthy Software...
متن کاملSemi-formal and Formal Models Applied to Flexible Manufacturing Systems
Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in products and production targets (e.g. volumes, etc.). Due to their high costs, FMSs require careful design, and their performance must be precisely evaluated before final deployment. To support and guide the design phase, this paper p...
متن کاملFrom Informal Process Diagrams to Formal Process Models
Process modeling is an important activity in a businesstransformation project. Free-form diagramming tools, such as PowerPoint and Visio, are the preferred tools for creating process models. However, the designs created using such tools are informal sketches, which are not amenable to automated analysis. Formal models, although desirable, are rarely created (during early design) because of the ...
متن کاملGenerating Natural-language Process Descriptions from Formal Process Models
Process models are often used to support the understanding and analysis of complex systems. The accuracy of such process models usually requires that various stakeholders review, evaluate, correct, and propose improvements to these models. Some stakeholders, however, may not have the skills to understand the process models except at a relatively superficial level. To address this issue, we have...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia CIRP
سال: 2017
ISSN: 2212-8271
DOI: 10.1016/j.procir.2017.03.159